-
1 ситуационное исчисление
Русско-английский словарь по вычислительной технике и программированию > ситуационное исчисление
-
2 ситуационное исчисление
Русско-английский большой базовый словарь > ситуационное исчисление
-
3 вариационное исчисление
Русско-английский словарь по информационным технологиям > вариационное исчисление
-
4 ситуационное исчисление
ситуационное исчисление
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > ситуационное исчисление
-
5 дифференциальное исчисление
1. calculus2. differential calculusРусско-английский большой базовый словарь > дифференциальное исчисление
-
6 булево исчисление
Русско-английский большой базовый словарь > булево исчисление
-
7 вариационное исчисление
Русско-английский большой базовый словарь > вариационное исчисление
-
8 расширенное исчисление
Русско-английский большой базовый словарь > расширенное исчисление
-
9 дифференциальное исчисление
Русско-английский научный словарь > дифференциальное исчисление
-
10 интегральное исчисление
-
11 операционное исчисление
-
12 операционное исчисление
Русско-английский новый политехнический словарь > операционное исчисление
-
13 реляционное исчисление
Русско-английский словарь по информационным технологиям > реляционное исчисление
-
14 ситуационное исчисление
1) Computers: situational calculus2) Information technology: situation calculusУниверсальный русско-английский словарь > ситуационное исчисление
-
15 ситуационный
-
16 относиться к
. все, кого это касается; к ним относится; касаться; не относящийся к; охватывать; падать на; равным образом; распространяться на; справедлив для; это особенно относится к случаям, когда когда•Evidently Einstein's restriction should not apply to this wave.
•The laboratory rules are concerned with noncritical operations.
•The following rules of centrifugal machines hold true for all centrifugal pumps.
•Henry's Law refers only to the effect of pressure.
•Faraday's laws relate to the electrolysis of solutions and fused salts.
•The term "computer-aided engineering" refers to a "total" system concept, in which...
•The result is only appropriate for a finite time interval which is undetermined as yet.
•The above example pertains to the diffusion of liquids.
•The result applies (or refers, or relates) to mass transfer from plate to fluid, or fluid to plate.
•The book deals with (or treats on) distillation.
•Another question has to do with diseases arising from dietary deficiencies.
•This will be true for (or of) very high electric fields.
•Lines la and 2a apply to a 47-microfarad, 35-volt polar capacitor.
•The term caisson covers a wide range of foundation structures.
•Similar considerations hold for emitting molecules.
•This is particularly true in humid regions.
•These properties are not pertinent to the problem at hand.
•This is especially the case with wide armature cores.
•The differences are a matter of degree rather than of type.
•These terms are related to certain atomic groupings.
•The discoveries concern the properties of electric charges.
•This discussion has so far concerned itself with the experimental results obtained.
•The common names isobutane and isopentane apply to those isomers having...
•The third factor concerns the bulky nature of...
•The most significant developments of that period centred around the field of communications.
II•The basic principle of the device dates from (or back to) the 15th century.
•The first trials go back to 1912.
•These mummies are dated to 2800 B.C.
•Most abrasive materials fall in the region at the top of the scale.
•All the above forces fall in(to) this category.
•All forms of anemia fall into two main types.
•The discussion of pseudovectors belongs to the domain of the tensor calculus.
IV•Mathematical biophysics stands in the same relation to experimental biology as mathematical physics to experimental physics.
Русско-английский научно-технический словарь переводчика > относиться к
-
17 обычный
usual, normal, regular, ordinary, standard, routine, conventional, common, customary• Более обычным является представление решения в терминах... - It is more usual to express the solution in terms of...• В обычном (= типичном) случае, например, можно было бы... - In a typical case, for example, one might...• В самом деле, стало обычным (использовать и т. п.)... - It has, in fact, become customary to...• Его обычная (= общепринятая) интерпретация дается следующим образом. - Its customary interpretation is as follows.• По этим причинам стало обычной практикой (выполнять и т. п.)... - For all these reasons it has become normal practice to...• Мы делаем обычное предположение, что... - We make the usual assumption that...• Обычная ситуация состоит в том, что... - The normal situation is that...• Обычный эффект заключается в том, что... - The usual effect is that...• Обычный способ (= путь) их получения это... - The usual way of obtaining these is to...• Очевидно, что это более сложная проблема, чем проблема обычного (= простого) нахождения (чего-л). - This is obviously a more complicated problem than the usual determination of...• Совсем недавно стало обычным... - More recently, it has become common to...• Такого сорта проблемы обычны на практике. - Problems of this type are common in practice.• Читатель увидит, как можно использовать обычные приемы высшей математики в... - The reader will see how ordinary calculus can be applied to...• Это может быть доказано обычным (= стандартным) способом. - This may be proved in the standard way.• Это обычные (= стандартные) определения для... - These are the usual definitions for... -
18 увидеть
(= видеть) see, observe, lay eyes on• В главе 3 мы увидим другое обобщение той же самой основной идеи. - In Chapter 3 we shall meet another generalization of the same basic idea.• В самом деле, позднее мы увидим, что... - As a matter of fact, we will see later that...• В следующей главе мы увидим, что... - We shall see in the next chapter that...• В частности, позднее мы увидим, что... - In particular, we shall see later that...• Вскоре мы увидим, что... - We shall see shortly that...• Далее, трудно увидеть, как... - It is difficult to see, then, how...• Действительно, мы увидим, что... - Actually we shall see that...• Довольно просто увидеть, что... - It is fairly easy to see that...• Из геометрических соображений можно легко увидеть, что... - It is easily seen geometrically that...• К сожалению, как мы увидим, данная теория не предсказывает... - Unfortunately, as we shall see, the theory does not predict...• Как мы увидим в следующем параграфе, это не простое совпадение. - This is not a coincidence, as we will see in the next section.• Как мы увидим дальше... - As we shall see later,...• Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...• Как мы увидим позднее,... - As will be seen later,...• Можно легко увидеть причину такой зависимости. - One can easily see the reason for this dependence.• Мы немедленно увидим, что... - It will be seen at once that...• Мы увидим позже, что... - It will be seen later that...• Мы увидим, что возможно (преобразовать и т. п.)... - We shall find it possible to...• Мы увидим, что данное исследование применимо также в случае... - It will be observed that this investigation applies also to the case of...• Мы увидим, что данные вопросы тесно взаимосвязаны. - We shall see that these questions are closely related.• Мы увидим, что эти методы могут использоваться лишь тогда, когда... - It will be observed that these methods are only applicable when...• Мы увидим, что эти условия могут быть выполнены при использовании... - We shall see that these conditions can be met using...• Мы увидим, что это пример (чего-л). - We shall see that this is an example of...• Не требуется много усилий для того, чтобы увидеть, что... - It does not require much reflection to see that...• Однако мы увидим, что... - However, we shall discover that...• Однако, как мы сейчас увидим, это другая ситуация. - But here the situation is different, as we shall now see.• Оказывается, Смит [1] был первым, кто увидел, что... - It appears that Smith [1] was the first to recognize that...; Smith [1] appears to be the first to have recognized that...• Справедливость того же результата можно увидеть геометрически. - The same result can be seen geometrically.• Теперь мы могли бы легко увидеть, что... - Now we may easily see that...• Трудно увидеть, как эти различия могли бы возникнуть из (чего-л). - It is difficult to see how these differences could arise from...• Умелый исследователь быстро увидит, что... - The skilled investigator will quickly see that...• Читатель с хорошей подготовкой немедленно увидит, что... - The knowledgeable reader will see at once that...• Читатель увидит, как можно использовать высшую математику в... - The reader will see how ordinary calculus can be applied to...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Чтобы понять это, достаточно рассмотреть... - То see this, it suffices to consider...• Чтобы увидеть это более детально, отметим, что... - То see this in greater detail, let us note that...
См. также в других словарях:
Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based … Wikipedia
Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… … Wikipedia
Fluent calculus — The fluent calculus is a formalism for expressing dynamical domains in first order logic. It is a variant of the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol circ is … Wikipedia
Ethical calculus — The term ethical calculus, when used generally, refers to any method of determining a course of action in a circumstance that is not explicitly evaluated in one s ethical code. A formal philosophy of ethical calculus is a recent development in… … Wikipedia
Itō calculus — Itō calculus, named after Kiyoshi Itō, extends the methods of calculus to stochastic processes such as Brownian motion (Wiener process). It has important applications in mathematical finance and stochastic differential equations.The central… … Wikipedia
Frame problem — In artificial intelligence, the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without explicitly specifying which conditions are not affected by an action. John McCarthy and Patrick J. Hayes… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Yale shooting problem — The Yale shooting problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frame problem fail. The name of this problem derives from its inventors, Steve Hanks and Drew McDermott, working at Yale… … Wikipedia
Fluent (artificial intelligence) — In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be represented in first order logic by predicates having an argument that depends on time. For example,… … Wikipedia
Raymond Reiter — (June 12, 1939 ndash; September 16, 2002), was a Canadian computer scientist and logician. He was one of the founders of the field of non monotonic reasoning with his work on default logic, model based diagnosis, closed world reasoning, and truth … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia